#ifndef __TASKS_TIMER_H
#define __TASKS_TIMER_H
#include "gd32f4xx.h"                   // Device header
#include "tasks.h"
void tasks_timer_init();
uint64_t tasks_tick_get();
#endif
